trace 附き monoidal 圈